منابع مشابه
Structured Lucid ∗
Structured Lucid is an ISWIM-like language formed by combining Basic Lucid and USWIM. Structured Lucid is almost a member of the USWIM family, except that a distinction is made between two kinds of function variables: those which denote functions mapping streams (histories) of data objects to streams of data objects, and those which denote streams of functions mapping data objects to data objec...
متن کاملLucid Representations
This paper criticizes the widespread idea that knowledge bases in AI systems should be complete and that representations should be \model-like." The arguments in favor of such representations are less cogent and more ambiguous than they appear at rst. Levesque's suggestion that representations should be \vivid" is extremely restrictive, particularly in its uniform imposition of a closed-world a...
متن کاملLucid, Inc.
Multiprocessing programming languages must support the styles of programming that are natural to the programmer, and they must be able to express all of the forms of concurrency that exist. Qlisp, a dialect of Lisp, is proposed as a multiprocessing programming language which is suitable for studying the styles of parallel programming. There are two sorts of parallelism in Qlisp: 1) the true par...
متن کاملHigher-Order Lucid∗
In this paper we remedy one of the most annoying weaknesses of Lucid and indexical languages in general: the lack of higher-order functions. We describe a simple generalization of the “place-code” approach (as discovered by Ostrum and formalized by Yaghi) which handles programs with functions of arbitrarily high orders; in other words, typed Iswim. A source program P with function definitions (...
متن کاملPsychosis and the Control of Lucid Dreaming
Dreaming and psychosis share important features, such as intrinsic sense perceptions independent of external stimulation, and a general lack of criticism that is associated with reduced frontal cerebral activity. Awareness of dreaming while a dream is happening defines lucid dreaming (LD), a state in which the prefrontal cortex is more active than during regular dreaming. For this reason, LD ha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Modern Physics: Conference Series
سال: 2018
ISSN: 2010-1945
DOI: 10.1142/s2010194518600765